Robust simulations and significant separations
نویسندگان
چکیده
منابع مشابه
Robust Simulations and Significant Separations
We define and study a new notion of “robust simulations” between complexity classes which is intermediate between the traditional notions of infinitely-often and almost-everywhere, as well as a corresponding notion of “significant separations”. A language L has a robust simulation in a complexity class C if there is a language in C which agrees with L on arbitrarily large polynomial stretches o...
متن کاملRobust Separations in Inductive Inference
Results in recursion-theoretic inductive inference have been criticized as depending on unrealistic self-referential examples. Barzdin proposed a way of ruling out such examples, and conjectured that one of the earliest results of inductive inference theory would fall if his method were used We refute Barzdin’s conjecture. We propose a new line of research examining robust separations; these ar...
متن کاملRobust Forward Simulations of Recurrent Hitchhiking
Evolutionary forces shape patterns of genetic diversity within populations and contribute to phenotypic variation. In particular, recurrent positive selection has attracted significant interest in both theoretical and empirical studies. However, most existing theoretical models of recurrent positive selection cannot easily incorporate realistic confounding effects such as interference between s...
متن کاملRobust Controller Design Based-on Aerodynamic Load Simulator Identification Driven by PMSM for Hardware-in-the-Loop Simulations
Aerodynamic load simulators generate the required time varying load to test the actuator’s performance in the laboratory. Electric Load Simulator (ELS) as one of variety of the dynamic load simulators should follows the rotation of the Under Test Actuator (UTA) and applies the desired torque to UTA’s rotor at the same time. In such a situation, a very large torque is imposed to the ELS from the...
متن کاملStaged Separations ∗
The equations and the component-specific parameters needed for these detailed models are contained in specialized programs such as Aspen. However, for preliminary work it may be sufficient, and more convenient, to employ more simplified methods. If pressures are low, we may approximate φi ≈ 1 and f 0 i ≈ P sat i (T), where P sat i (T) is the vapor pressure of pure component i. Further, if the c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2017
ISSN: 0890-5401
DOI: 10.1016/j.ic.2017.07.002